The simplest function is the <#80#>identity<#80#> function, called
Identity funnily enough, which is defined:
This, it must be admitted, is a pretty dull function, but
it's a useful basic combinator. It can be implemented
in TEX quite simply.
The rules around this definition mean that it is actually part of
14 and not just another example.